Assert Y($\lambda$$f$,$x$. $g$($x$,$f$)) $\in$ !Void()$\rightarrow$!Void()